jQuery(window).ready(function () {
    jQuery("#navigation").Smartmenu({animationDuration:350});
});
SyntaxHighlighter.all();